Mapped types on tuples and arrays